(geometric-point abstraction: 1